WorkspacesView: set the clip when setting the geometry

Fixes clipping the windows when you open the overview with the workspace
switcher expanded and then shrink it.

https://bugzilla.gnome.org/show_bug.cgi?id=694092

diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 2a473c92e474183b95681999e44fb78f6a82a546..ffabaf476f4a869d77e46355e6516120c2de1820 100644 (file)
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -151,6 +151,9 @@ const WorkspacesView = new Lang.Class({
 
         for (let i = 0; i < this._workspaces.length; i++)
             this._workspaces[i].setGeometry(x, y, width, height);
+
+        if (Main.overview.visible && !Main.overview.animationInProgress)
+            this.actor.set_clip(this._x, this._y, this._width, this._height);
     },
 
     _lookupWorkspaceForMetaWindow: function (metaWindow) {